Evidential Notions of Defensibility and Admissibility with Property Preservation

نویسندگان

  • Raphael C.-W. Phan
  • Ahmad Roshidi Amran
  • John N. Whitley
  • David J. Parish
چکیده

For security-emphasizing fields that deal with evidential data acquisition, processing, communication, storage and presentation, for instance network forensics, border security and enforcement surveillance, ultimately the outcome is not the technical output but rather physical prosecutions in court (e.g. of hackers, terrorists, law offenders) or counter-attack measures against the malicious adversaries. The aim of this paper is to motivate the research direction of formally linking these technical fields with the legal field. Notably, deriving technical representations of evidential data such that they are useful as evidences in court; while aiming that the legal parties understand the technical representations in better light. More precisely, we design the security notions of evidence processing and acquisition, guided by the evidential requirements from the legal perspective; and discuss example relations to forensics investigations.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Properties of fuzzy relations and aggregation process in decision making

In this contribution connections between input fuzzy relations R1, . . . ,Rn on a set X and the output fuzzy relationRF = F(R1, . . . ,Rn) are studied. F is a function of the form F : [0, 1]n → [0, 1] and RF is called an aggregated fuzzyrelation. In the literature the problem of preservation, by a function F, diverse types of properties of fuzzy relationsR1, . . . ,Rn is examined. Here, it is c...

متن کامل

Urban Inundation Hazard Potential using Evidential Belief Function model (EBF) (Case study: Emam Ali town, Mashhad city)

    Inundation in urban areas due to dens storm has created many problems for all cities thorough the world. Urban flood hazard zoning may provide useful information for dealing with contingency and alleviating risk and loss of life and property. Therefore, to management of urban area, flood relief measures and prioritized to address flooding problems should be identified areas that are more aff...

متن کامل

Beliefs supported by Arguments

In this paper we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Formally, we build further on Dung’s argumentation framework in Dung (1995). We start by introducing a logic to reason about binary arguments which are either in favor or against a certain claim. Next we explore a number of notions from standard argumentation theory in our s...

متن کامل

Derivability and Admissibility of Inference Rules in Abstract Hilbert Systems

We give an overview of results, presented in the form of a poster at CSL03/KGC, about a general study of the notions of rule derivability and admissibility in Hilbert-style proof systems. The basis of our investigation consists in the concept of “abstract Hilbert system”, a framework for Hilbert-style proof systems in which it is abstracted from the syntax of formulas and the operational conten...

متن کامل

Some Admissible Rules in Modal Systems with the Brouwerian Axiom

The paper studies the admissibility of some cancellation rules in normal modal systems with the Brouwerian axiom. For example, KDB and KTB are proved to admit the following rule: if`:(^) and`3 3 then`:(_). Two notions of the preservation of validity by a rule on a frame are deened; on both, the preservation of validity by the preceding rule is shown not to be a rst{order condition. A speculativ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010